body { font-family: verdana, sans-serif; width:80%; background-color:black; color:white; font-size:20pt; }

h1,h2,h3 { background-color:green; color: white; padding:3px; }
.show { background-color:darkred; color: yellow; text-decoration: underline; cursor: hand; font-size: x-small;}
.reveal { }

a { color:yellow; text-decoration:none; }
a:hover.toc { text-decoration:underline; }
a:visited.toc { color:green; text-decoration:none; }
.toc { float: right; position: fixed; top: 100px; right: 10px; width:17%; color:yellow; }

dl,.toc { font-size: x-small; background-color: navy; padding: 5px; }
.comment { font-size: x-small; background: navy; float: right; position: fixed; bottom: 10px; right: 10px; padding: 5px; width:17%; }
dt { font-variant:small-caps; background-color: navy; }

.objective { background-color:darkgrey; color: yellow; padding:5px; font-weight: bold; list-style-type: disk; list-style-position: inside; }
.objective.prior{ font-weight: normal; list-style-type: circle; color: green;}
.objective.next { font-weight: normal; list-style-type: square; color: red; }

.important { background:navy; color:magenta; border: inset; }

.translatebar { background: dodgerblue; float: right; position: fixed; right: 10px; top: 10px; padding: 5px; width:17%; height:80px;}
.dmsg { font-size: x-small; color: goldenrod; background: darkred; float: right; position: fixed; bottom: 10px; right: 10px; padding: 5px; width:17%; }

.ggb.main {  }
.ggb.highlight { color: red; }